A modeling framework for complex behavior modeling and integration

The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of interconnected entities and behaviors. In this context, the present paper describes a modeling framework. It proposes to objectify the behaviors which leads to a two-level modeling process based on three concepts: resources software images of the controlled system behaviors applied to these resources, and meta-behaviors, i.e. means for behavior integration and adaptation. To complete the proposed modeling framework, a coherent model-based approach supported by model-checking tools, that ensures the development of validated applications, is considered. Finally, to illustrate the elements mentioned, this paper uses the control software of a walking robot as a running example.